#include <stdio.h>

int main(int argc, char *argv[]) 
{
	int year,month,day,d,n;
	scanf("%d%d%d\n",&year,&month,&day);
	scanf("%d",&n);
	for(;n!=0;)
	{
		for(;n!=0&&month<=12;)
			{
				if(year%4==0&&year%100||year%400==0)
					{
						switch(month)
						{
							case 1:case 3:case 5:case 7:case 8:case 10:case 12:d=31;break;
							case 2:d=29;break;
							case 4:case 6:case 9:case 11:d=30;break;
						}
					}
				else 
					{
						switch(month)
						{
							case 1:case 3:case 5:case 7:case 8:case 10:case 12:d=31;break;
							case 2:d=28;break;
							case 4:case 6:case 9:case 11:d=30;break;
						}
					}
				for(;day<=d&&n!=0;day++)
					n--;
				if(day>d){day=1;month++;}
			}
		if(month>12){month=1;year++;}
	}
	printf("%d.%d.%d\n",year,month,day);
}